منابع مشابه
Object Invariants in Dynamic Contexts
Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoning about object invariants in the presence of object references, methods, and subclassing is difficult. This paper describes a methodology for specifying and verifying object-oriented programs, using object invariants to specif...
متن کاملProof in Dynamic Geometry Contexts
Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students. The question that we are now asking is whether the introduction of dynamic geometry systems will improve the situation – or will it make the transition from informal to formal proof in mathematics even harder? How far will innovative teaching ...
متن کاملContexts in Dynamic Ontology Mapping
Agents in open systems interact continuously, each possibly having a different ontology. Mapping in advance all the ontologies that an agent can encounter is not feasible, as all the possible combinations cannot be foreseen. Mapping complete ontologies at run time is a computationally expensive task. This paper proposes a framework in which mappings between terms may be hypothesised dynamically...
متن کاملContexts in Dynamic Predicate Logic
In this paper we introduce a notion of context for Groenendijk Stokhof s Dynamic Predicate Logic DPL We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests conditions and random resettings in the case that we are working over an in nite domain These relations are precisely the ones de nable in DPL if we allow ourselves ar...
متن کاملNegotiating SLAs with Dynamic Pricing Policies
This position paper argues for research in the development of focused solutions for dynamic pricing, service-level agreements and negotiation for eServices in a digital economy. Thereby the authors have a main focus on the development of an independent negotiation protocol, which satisfies the needs and preferences of customers and service providers, also with a certain focus on legal aspects o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Teachers and Teaching
سال: 2017
ISSN: 1354-0602,1470-1278
DOI: 10.1080/13540602.2017.1308119